Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое Automath - определение
AUTOMATH; Automath theorem prover
Automath
·noun One who is self-taught.
AUTOMATH
<language, mathematics> A very high level language for writing
proofs, from Eindhoven, Netherlands.
["The Mathematical Language AUTOMATH, Its Usage and Some of
its Extensions", N.G. deBruijn, in Symp on Automatic
Demonstration, LNM 125, Springer 1970 ].
(2001-07-09)
Automath
Automath ("automating mathematics") is a formal language, devised by Nicolaas Govert de Bruijn starting in 1967, for expressing complete mathematical theories in such a way that an included automated proof checker can verify their correctness.
Википедия
Automath
Automath ("automating mathematics") is a formal language, devised by Nicolaas Govert de Bruijn starting in 1967, for expressing complete mathematical theories in such a way that an included automated proof checker can verify their correctness.
